Formal Languages, Coinductively Formalized Andreas Abel Department of Computer Science and Engineering Chalmers and Gothenburg University Departmental Seminar

Source URL: www2.tcs.ifi.lmu.de

Manipulating XML with XML::Compile Colin Bradford The problem  XML interface to third party

Source URL: miltonkeynes.pm.org

• Markup languages
• Computer file formats
• Open formats
• Technical communication
• XML Schema
• XMLBeans

Multi-Task Word Alignment Triangulation for Low-Resource Languages Tomer Levinboim and David Chiang Department of Computer Science and Engineering University of Notre Dame {levinboim.1,dchiang}@nd.edu Abstract

Source URL: www3.nd.edu

anjana sofia vakil language technologist and full-stack developer contact vakila.github.io

Source URL: vakila.github.io

• Software engineering
• Computer programming
• Computing
• Scripting languages
• JavaScript libraries
• Cross-platform software
• JavaScript
• Web programming
• Python
• Socket.IO
• Node.js

Visual Programming Language for Thymio II Robot ∗ Jiwon Shin Dept. of Computer Science

Source URL: se.inf.ethz.ch

• Robot kits
• Visual programming languages
• Educational toys
• Embedded systems
• Robots
• Thymio
• Lego Mindstorms
• Robotics
• Robot
• VPL
• Mobile robot
• Programming language

1 Scalable Multimedia Content Analysis on Parallel Platforms Using Python EKATERINA GONINA, University of California, Berkeley GERALD FRIEDLAND, International Computer Science Institute and Univeristy of California, Ber

Source URL: www.ericbattenberg.com

• Computing
• Concurrent computing
• Parallel computing
• GPGPU
• Graphics hardware
• Apache Software Foundation
• Concurrent programming languages
• MapReduce
• Cilk
• OpenCL
• Apache Hadoop
• Thread

GUROBI OPTIMIZER QUICK START GUIDE c 2016, Gurobi Optimization, Inc. Version 6.5, Copyright

Source URL: www.gurobi.com

• Software
• Computing
• Scripting languages
• Mathematical optimization
• Numerical software
• Computer algebra systems
• Mathematical modeling
• Gurobi
• AMPL
• Python
• X Window System
• Command-line interface

3R TQC T & 3R TQC T Basic Manual 3R Technics GmbH

Source URL: en.3r-technics.com

• Array programming languages
• Computer science
• Computing
• Software
• Computer
• Widget
• Form
• R

Javanni: A Verifier for JavaScript Martin Nordio1 , Cristiano Calcagno2 , and Carlo A. Furia1 1 2

Source URL: se.inf.ethz.ch

• Software engineering
• Computer programming
• Computing
• Compiler optimizations
• Cross-platform software
• Scripting languages
• Logic in computer science
• JavaScript
• Separation logic
• Inline expansion
• Correctness
• Loop unrolling

Solved In Perl 6 Jonathan Worthington Baltic Perl Workshop 2009

Source URL: jnthn.net

• Software
• Computer programming
• Cross-platform software
• Perl 6
• High-level programming languages
• Scripting languages
• Perl
• Rakudo Perl 6
• Parrot virtual machine